Sfoglia per Serie LECTURE NOTES IN COMPUTER SCIENCE
O'Klaim: a coordination language with mobile mixins
2004-01-01 L. BETTINI; V. BONO; B. VENNERI
A P-Time Completeness Proof for Light Logics
1999-01-01 L. ROVERSI
A Petri net formalism to study systems at different scales exploiting agent-based and stochastic simulations.
2021-01-01 Beccuti, M., Castagno, P., Franceschinis, G., Pennisi, M., Pernice, S.
A Polymorphic Language which is Typable and Poly-step
1998-01-01 L. ROVERSI
Protection of Personal Data in High Performance Computing Platform for Scientific Research Purposes
2021-01-01 Ludovica Paseri, Sébastien Varrette, Pascal Bouvry
Qualitative Reachability for Open Interval Markov Chains
2018-01-01 J. Sproston
Safe object composition in the presence of subtyping
2005-01-01 L. BETTINI; V. BONO; S. LIKAVEC
Temporal Multiagent Plan Execution: Explaining What Happened
2019-01-01 torta gianluca, micalizio roberto, sormano
Type inference for nested self types (extended abstract)
2004-01-01 V. BONO; J. TIURYN; P. URZYCZYN
A Vectorial Approach to Genetic Programming
2019-01-01 Azzali, Irene; Vanneschi, Leonardo; Silva, Sara; Bakurov, Illya; Giacobini, Mario
Legenda icone
- file ad accesso aperto
- file disponibili sulla rete interna
- file disponibili agli utenti autorizzati
- file disponibili solo agli amministratori
- file sotto embargo
- nessun file disponibile